例句與造句

1. Automated reasoning and equation solving with the characteristic set method
   基于特征列方法的自動(dòng)推理與方程求解
2. Alti1ough neuial network gets a satistw soluhon of prob1em , it is not deted to use ned ned solving problem of automated reasoning
   盡管神經(jīng)網(wǎng)絡(luò)尋找到的解是一個(gè)滿意解，但這不影響我們考慮將神經(jīng)網(wǎng)絡(luò)技術(shù)應(yīng)用于自動(dòng)推理理論與方法中。
3. In this thesis , reasning based medel and resolution principle are deeply studied , and using netal network partly driplement automated reasoning
   本文在對(duì)命題邏輯系統(tǒng)的模型推理和歸結(jié)原理研究的基礎(chǔ)上，嘗試?yán)蒙窠?jīng)網(wǎng)絡(luò)部分實(shí)現(xiàn)自動(dòng)推理。
4. Engineers have yet to solve fundamental problems involving robotic perception and world modeling , automated reasoning , manipulation of objects and locomotion
   工程師還有很多根本的問(wèn)題尚未解決，包括機(jī)器人的知覺(jué)、如何建立周遭環(huán)境的模型、自動(dòng)推理、物品操作和行進(jìn)方式等。
5. It can be extended to fuzzy logic systems and some lattice - valued logic systems . 3 . the study on automated reasoning a new automated reasoning method based on path searching was proposed
   2 、提出一種利用神經(jīng)邏輯單元?jiǎng)討B(tài)地構(gòu)造神經(jīng)網(wǎng)絡(luò)的算法來(lái)對(duì)一些邏輯系統(tǒng)中的邏輯公式的真值進(jìn)行計(jì)算。
6. It's difficult to find automated reasoning in a sentence. 用automated reasoning造句挺難的
7. The normal form theories can keep the intuition relationship between the complete normal form and the truth table , which only keeps in classical 2 - valued logic system . the tableau system can act as the automated reasoning system in incomplete information environments
   該范式理論能夠在三值環(huán)境下依舊保留等值完全范式與真值表? ?對(duì)應(yīng)的直觀關(guān)系，同時(shí)，建立的表推演系統(tǒng)可作為不完全信息的自動(dòng)推演系統(tǒng)。
8. Based on the production of other researchers such as professor xu yang and professor qin keyun , this paper discusses the structure and properties of lattice implication algebra , tautologies in some lattice - valued systems , automated reasoning methods , lattice - valued prepositional logic system
   本文的工作是在徐揚(yáng)教授、秦克云教授等研究成果的基礎(chǔ)上，對(duì)格蘊(yùn)涵代數(shù)的性質(zhì)、結(jié)構(gòu)、格值命題邏輯系統(tǒng)中的重言式、自動(dòng)推理方法、格值命題邏輯系統(tǒng)等進(jìn)行了一些研究。
9. Par method can explain the whole process of " problem - program " as well as improve substantially the programming skills of students ; about the implement technology , the popular generic paradigm is incorporated and the results in ai ( knowledge representation and automated reasoning ) are used , which enables the system to be a truly " open system " with infinitely many problems and solutions , instead of just a compilation of fixed ones ; about the function of the system , it incarnates the constructivism and it has excellent human - machine interface , concurrence , and openness
   Par方法可以說(shuō)清“問(wèn)題程序”的全過(guò)程，可以解決現(xiàn)有程序設(shè)計(jì)教學(xué)存在的根本問(wèn)題，幫助學(xué)習(xí)者實(shí)質(zhì)性地提高程序設(shè)計(jì)的能力；在實(shí)現(xiàn)技術(shù)方面，借鑒了當(dāng)代流行的泛型思想，并將人工智能在知識(shí)表示、自動(dòng)推理等研究中形成的思想方法和成果應(yīng)用于程序設(shè)計(jì)icai系統(tǒng)的開(kāi)發(fā)，使得系統(tǒng)具有一個(gè)既有問(wèn)題又有解答的無(wú)限題庫(kù)，這些解答是由自動(dòng)推理產(chǎn)生的而不再是固定問(wèn)題、答案的堆砌；在系統(tǒng)功能方面，充分體現(xiàn)了建構(gòu)主義思想，具有良好的人機(jī)交互性、并發(fā)性和開(kāi)放性。
10. Combining with knowledge representation and automatic reasoning principle of ai and generic paradigm , the system has these main functions : ? it is able to show different solutions of typical example ; ( 2 ) it can automatically generate problems similar to the example for students to solve by providing them with clues ; ( 3 ) these problems can be studied by demonstrating the complete solution process and answers with the help of automated reasoning , or by providing real - time prompts to students concurrent with the students " solution processes with the help of automated reasoning ; ? it provides exercises and is able to call a program produced by the group ( the translator ) , which transfers apla programs to executable programs so as to verify its correctness ; ( 5 ) it let teacher to add examples in the database ; etc . hi the course of systematic research , we deeply investigated the relevant knowledge of the system and made some innovation : about teaching content , we select par method as the main content
    本系統(tǒng)選用薛錦云教授的par方法為主要教學(xué)內(nèi)容，應(yīng)用人工智能的知識(shí)表示和自動(dòng)推理原理及泛型思想，使得系統(tǒng)具有以下核心功能：展示幾種典型例題的解；以泛型思想為指導(dǎo)，實(shí)現(xiàn)了無(wú)限題庫(kù)，可以自動(dòng)生成與典型例題類(lèi)似的問(wèn)題給學(xué)生求解并給予提示；對(duì)于這些題目，計(jì)算機(jī)可以自動(dòng)推理出由問(wèn)題到程序的全過(guò)程供學(xué)生學(xué)習(xí)；也可通過(guò)自動(dòng)推理根據(jù)用戶的實(shí)際做題情況實(shí)時(shí)給出提示，交互式地幫助學(xué)生學(xué)習(xí)算法程序設(shè)計(jì)；學(xué)生可以從問(wèn)題庫(kù)中獲得練習(xí)，并調(diào)用轉(zhuǎn)換器，將自己的apla程序轉(zhuǎn)化為可執(zhí)行語(yǔ)言程序，運(yùn)行以檢驗(yàn)其正確性；對(duì)教師而言，可以對(duì)已有的實(shí)例庫(kù)、問(wèn)題庫(kù)進(jìn)行添加操作等。在系統(tǒng)的研制過(guò)程中，我們深入研究了系統(tǒng)的各方面相關(guān)知識(shí)，并進(jìn)行了多方面的創(chuàng)新：在教學(xué)內(nèi)容方面，首次選用par方法為主要內(nèi)容。